idlnk{-}deq $\in$ EqDecider(IdLnk)